Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
21	A CG & PSG Hybrid Approach to Automatic Corpus Annotation Eckhard Bick Institute of Language and Communication, Southern Denmark University , http://visl.sdu.dk Abstract This paper describes and evaluates Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2005-05-31 07:19:30 Linguistics Syntax Cognitive science Constraint Grammar Treebank Dependency grammar Eckhard Bick Phrase structure rules Phrase structure grammar Syntactic category Parse tree Phrase
22	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
23	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
24	$SPAD/src/input kamke2.input Timothy Daly December 30, 2008 Abstract This is the 50 ODEs of the Kamke test suite as published by E. S. Cheb-Terrab[1]. They have been rewritten using Axiom syntax. Where Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2008-12-30 18:00:24 Exponentials Mathematical physics Binomial theorem
25	ASN.1 parsing in crypto libraries: what could go wrong? Andrew Furtak, Yuriy Bulygin, Alex Bazhaniuk Advanced Threat Research Add to Reading List Source URL: www.intelsecurity.com Language: English - Date: 2016-05-02 12:28:32 Cryptography Encodings X.690 Computing Information Abstract Syntax Notation One PKCS 1 Padding Hash function Octet Cryptographic hash function RSA
26	A dependency-based approach to anaphora annotation Eckhard Bick University of Southern Denmark, Abstract. The paper describes a novel approach to the resolution of pronominal anaphora, where a hierar Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2011-09-03 15:40:28 Syntax Linguistics Grammar Semantics Pragmatics Pronouns Anaphora Relative clause Relative pronoun Cataphora Personal pronoun Antecedent
27	Glottometrics 33, 2016, …. Liberating language research from dogmas of the 20th century Ramon Ferrer-i-Cancho 1 & Carlos Gómez-Rodríguez2 Abstract. A commentary on the article “Large-scale evidence of dependency l Add to Reading List Source URL: www.grupolys.org Language: English - Date: 2016-02-29 20:04:51 Grammar Linguistics Syntax Language Dependency grammar Natural language parsing Cognitive science Operations research Head Subordination Mathematical optimization
28	Formal Definition of ALGOL 60 Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2014-10-06 17:17:15 Software engineering Programming language theory Computing Procedural programming languages ALGOL 68 ALGOL ECL programming language PL/I BackusNaur form For loop Programming language Abstract syntax
29	$SPAD/src/input kamke0.input Timothy Daly December 30, 2008 Abstract This is the first 50 of the Kamke test suite as published by E. S. ChebTerrab[1]. They have been rewritten using Axiom syntax. Where possible we show t Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2008-12-30 18:00:15 Mathematical analysis Mathematics Special functions Exponentials Analytic functions Ratios Trigonometric functions Trigonometry Sine Parametric equation Proof that is irrational
30	Information Structure and Production Planning∗ Michael Wagner. McGill University. Abstract Utterances are planned and realized incrementally. Which information is salient or attended to prior to initiat Add to Reading List Source URL: semanticsarchive.net Language: English - Date: 2015-05-25 11:00:58 Linguistics Semantics Phonology Phonetics Systemic functional linguistics Prosody Cognitive science Focus Syntax Word order Presupposition

UPDATE